Topologia ogólna
Topologia ogólna – dział matematyki zajmujący się badaniem własności przestrzeni, które pozostają niezmienne przy ciągłych przekształceniach. Jest to część matematyki obejmująca pojęcia takie jak otwarte i domknięte zbiory, ciągłość, zwartość, spójność oraz wiele innych pojęć abstrakcyjnych niezależnych od konkretnej metryki.
Historia
Początki topologii sięgają końca XIX wieku, kiedy to Henri Poincaré wprowadził pojęcie przestrzeni topologicznej. Rozwój tego pola przyspieszył w pierwszej połowie XX wieku dzięki pracom takich matematyków jak Kazimierz Kuratowski, Wacław Sierpiński i John L. Kelley.
Podstawowe pojęcia
Przestrzeń topologiczna
Przestrzeń topologiczna to para (X, τ), gdzie X jest niepustym zbiorem, a τ (tzw. topologia) jest rodziną podzbiorów X spełniającą trzy aksjomaty:
- ∅ i X należą do τ,
- dowolna (skończona lub nieskończona) unia elementów τ należy do τ,
- przecięcie skończonej liczby elementów τ należy do τ.
Ciągłość
Funkcję f : X → Y pomiędzy przestrzeniami topologicznymi nazywamy ciągłą, jeżeli przeciwobraz każdego zbioru otwartego w Y jest zbiorem otwartym w X. Pojęcie to generalizuje klasyczną definicję ciągłości w przestrzeni metrycznej.
Zwartość
Podzbiór K ⊆ X jest zwarty, jeśli każda rodzina otwartych podzbiorów τ pokrywająca K zawiera podpokrycie skończone. W przestrzeniach metrycznych zwartość jest równoważna zupełności i ograniczoności (twierdzenie Heinego‑Borela).
Spójność
Przestrzeń X jest spójna, jeśli nie może być przedstawiona jako rozłączne połączenie dwóch otwartych niepustych podzbiorów. Przykładem spójnej przestrzeni jest przedział domknięty ℝ.
Podstawowe klasy przestrzeni
- Przestrzeń metryczna – topologia indukowana metryką, czyli funkcją odległości.
- Przestrzeń Hausdorffa (T2) – każda para odmiennych punktów ma rozdzielające je otwarte otoczenia.
- Przestrzeń regularna (T3) – spełnia warunek T1 oraz dodatkowo każdy punkt i zamknięty zbiór niezawierający go można oddzielić otwartymi zbiorami.
- Przestrzeń normalna (T4) – każde dwa rozłączne zbiory domknięte można oddzielić otwartymi otoczeniami.
Główne twierdzenia
Twierdzenie Urysohna
Każda przestrzeń normalna jest Hausdorffa. W konsekwencji w takiej przestrzeni każdy punkt i zamknięty zbiór go nie zawierający można rozdzielić funkcją ciągłą przyjmującą wartości 0 i 1.
Twierdzenie Tietze’a
W przestrzeni normalnej każda ciągła funkcja ograniczona z podzbioru domkniętego może być przedłużona do całej przestrzeni.
Twierdzenie Baire’a
W przestrzeni metrycznej (a także w pełnych przestrzeniach Hausdorffa) przeliczalna suma zbiorów pierwszej kategorii nie może pokrywać całej przestrzeni. Twierdzenie to ma liczne zastosowania w analizie funkcjonalnej i teorii miary.
Zastosowania
Topologia ogólna znajduje zastosowanie w wielu dziedzinach:
- W analizie funkcjonalnej – badanie przestrzeni Banacha i Hilberta.
- W teorii prawdopodobieństwa – konstrukcja sigma‑algebr i miar Baire’a.
- W geometrii różniczkowej – pojęcia manifoldu i struktur topologicznych.
- W teorii węzłów i topologii algebraicznej – klasyfikacja przestrzeni poprzez grupy fundamentalne i grupy homologii.
Literatura
- J. L. Kelley, General Topology, Springer, 1975.
- K. Kuratowski, Topology, Volume I, Academic Press, 1966.
- J. Munkres, Topology, 2nd ed., Prentice Hall, 2000.
- W. Sierpiński, Elementy topologii, PWN, 1956.
Powiązane pojęcia
Warto zapoznać się również z artykułami: topologia, przestrzeń metryczna, zbiór, funkcja ciągła, homotopia, grupa fundamentalna.